Programming tool - PDFSEARCH.IO - Document Search Engine

Programming tool
Results: 791

#	Item
771	/localhome/dbeyer/passau/Papers/68_CAV-2011_CPAcheckerTool/CAV11-proceedings/fig-design.dia Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Programming tool BLAST model checker Abstraction Mind Philosophy of mind Cognitive science Model checking Software bug Debugging
772	F:/MyDocuments/Documents/SoftVis08/paper_short_mine.dvi Add to Reading List Source URL: iwi.eldoc.ub.rug.nl Language: English - Date: 2008-12-12 05:29:08 Integrated development environments Python Debugging Microsoft Visual Studio NetBeans Software visualization Programming tool Pin Eclipse Software Computing Java platform
773	58958_App_B_rev01_lores 1..30 Add to Reading List Source URL: ultimategameprogramming.com Language: English - Date: 2011-05-18 00:58:36 Xbox Cross-platform Audio Creation Tool DirectX Audio codecs Virtual reality XAudio2 DirectSound XMA Audio file format Software Computing Application programming interfaces
774	Program Transformations for Cache Locality Enhancement on Shared-memory Multiprocessors Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2001-12-23 07:07:47 Loop optimization Parallel computing Loop scheduling Automatic parallelization Loop dependence analysis Cache Loop fusion Loop tiling Automatic parallelization tool Compiler optimizations Computing Computer programming
775	BugFix: A Learning-Based Tool to Assist Developers in Fixing Bugs Dennis Jeffrey∗ [removed] Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2009-03-13 20:28:43 Software bugs Debugging Infinite loop Program slicing Software testing Debugger Memory leak Valgrind COMEFROM Computer programming Software engineering Computing
776	ON A NEW TOOL IN A R T I F I C I A L INTELLIGENCE RESEARCH. AN ASSOCIATE MEMORY, PARALLEL PROCESSING LANGUAGE, Add to Reading List Source URL: ijcai.org Language: English - Date: 2008-09-30 05:15:42 Software engineering The Alphabet Cipher Classical cipher Computer programming Latin alphabets Computing
777	BUSMASTER – An Open Source Tool Dr. Tobias Lorenz, ETAS GmbH Presented by Dr. Andrew Borg Add to Reading List Source URL: uwispace.sta.uwi.edu Language: English - Date: 2012-09-26 23:00:45 Computer law Application programming interfaces Cross-platform software Open-source software INCA Open source Application software Proprietary software X Window System Software Computing Software licenses
778	Tool Interface Standard (TIS) Executable and Linking Format (ELF) Specification Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2005-09-06 12:00:42 Programming language implementation Computer file formats Executable and Linkable Format Portable Executable Relocation Object file File Unix Executable Computing Software System software
779	From the IEE “Computing and Control Engineering” journal, February,[removed]A Modern Real-Time Software Design Tool: Add to Reading List Source URL: www.stateworks.com Language: English - Date: 2009-04-02 14:10:26 Computing Technology Project management Digital electronics Finite-state machine Software development process Virtual finite-state machine Software design Extreme programming Software development Models of computation Software engineering
780	Compass User Manual: A Tool for Source Code Checking (A ROSE Tool) Add to Reading List Source URL: www.rosecompiler.org Language: English - Date: 2013-07-08 18:10:09 C++ Method Cross-platform software Navigation Compass Copy constructor C++ classes Constructor Destructor Computer programming Software engineering Computing

UPDATE